#include <Kernel/syscall.h>
#include <IO/VideoTextMode.h>
#include <ProcessThread/ProcessThread.h>
#include <IO/Keyboard.h>

void* g_SyscallTable[] = {
    /* 0: WriteConsole */ [__NR_WriteConsole] = VideoTextModePutString,
    /* 1: CreateProcess */ [__NR_CreateProcess] = SimpleCreateProcess,
    /* 2: ReadCR3 */ [__NR_ReadCR3] = READ_CR3_32,
    /* 3: SetColor */ [__NR_SetColor] = VideoTextModeSetColor,
    /* 4: GetColor */
    [__NR_GetChar] = RetrieveCharFromKeyboardInputBuffer
};